;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o15, o4, o14, o7, o6, o10, o11, o1, o9, o3, o12, o5, o2, o13, o8]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o8" 2 5)
;;   ("u2" 6 8)
;;   ("o5" 9 10)
;;   ("o15" 1 11)
;;   ("o12" 11 13)
;;   ("o8" 11 13)
;;   ("o2" 3 14)
;;   ("o6" 4 15)
;;   ("o1" 8 15)
;;   ("o7" 8 15)
;;   ("o3" 0 16)
;;   ("o10" 7 17)
;;   ("o14" 12 21)
;;   ("u2" 19 21)
;;   ("o8" 19 23)
;;   ("o11" 23 24)
;;   ("o4" 10 25)
;;   ("u1" 5 26)
;;   ("o15" 20 27)
;;   ("o2" 22 28)
;;   ("o13" 18 29)
;;   ("o9" 20 30)
;;   ("o3" 19 31)
;; --------------
;; core
;; --------------------------------
;;  name:o15 start:5 length:22
;;  name:o15 start:40 length:29
;;  name:o4 start:22 length:36
;;  name:o14 start:29 length:13
;;  name:o7 start:18 length:15
;;  name:o6 start:10 length:23
;;  name:o10 start:17 length:18
;;  name:o11 start:44 length:6
;;  name:o1 start:18 length:15
;;  name:o9 start:40 length:45
;;  name:o3 start:0 length:34
;;  name:o3 start:39 length:48
;;  name:o12 start:27 length:3
;;  name:o5 start:21 length:1
;;  name:o2 start:9 length:23
;;  name:o2 start:43 length:27
;;  name:o13 start:38 length:37
;;  name:o8 start:6 length:8
;;  name:o8 start:27 length:3
;;  name:o8 start:39 length:5
;;  name:u1 start:14 length:48
;;  name:u2 start:15 length:3
;;  name:u2 start:39 length:3
;; patternLength:87
;; --------------------------------
(0
 (
 ("o15" 1 5)
 ("o8" 7 15)
 ("u2" 11 15)
 ("u2" 16 19)
 ("o5" 22 23)
 ("o12" 22 27)
 ("o15" 6 28)
 ("o12" 28 31)
 ("o8" 28 31)
 ("o11" 25 32)
 ("o2" 10 33)
 ("o6" 11 34)
 ("o1" 19 34)
 ("o7" 19 34)
 ("o3" 1 35)
 ("o10" 18 36)
 ("o13" 17 38)
 ("o8" 32 39)
 ("o14" 30 43)
 ("u2" 40 43)
 ("o8" 40 45)
 ("o11" 45 51)
 ("o4" 23 59)
 ("u1" 15 63)
 ("o15" 41 70)
 ("o12" 62 70)
 ("o2" 44 71)
 ("o14" 63 72)
 ("o13" 39 76)
 ("o9" 41 86)
 ("o11" 73 87)
 ("o3" 40 88)
 ("o10" 72 96)
 ("o6" 58 101)
 ("o13" 93 110)
 ("o12" 88 115)
 ("o4" 60 119)
 ("o5" 87 129)
 ("o3" 89 133)
 ("o15" 81 154)
 ("o2" 76 172)
 ("u3" 76 177)
 ("o9" 87 188)
))
(1
 (
 ("u2" 2 3)
 ("u2" 5 10)
 ("o8" 6 14)
 ("o9" 15 16)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o15" 5 27)
 ("o9" 26 27)
 ("o14" 13 28)
 ("u2" 26 28)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o8" 31 38)
 ("o14" 29 42)
 ("o2" 33 42)
 ("u2" 39 42)
 ("o8" 39 44)
 ("u2" 46 48)
 ("o11" 44 50)
 ("o4" 22 58)
 ("u2" 56 58)
 ("o4" 59 61)
 ("u1" 14 62)
 ("o15" 40 69)
 ("o14" 50 69)
 ("o2" 43 70)
 ("u2" 67 70)
 ("o13" 38 75)
 ("u2" 82 84)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o14" 79 89)
 ("u2" 89 92)
 ("u1" 85 98)
 ("o9" 96 98)
 ("o7" 89 103)
 ("o1" 39 115)
 ("o2" 96 120)
 ("o4" 94 130)
 ("o11" 51 135)
 ("o10" 58 140)
 ("o12" 56 156)
 ("o5" 82 171)
))
(2
 (
 ("o7" 1 5)
 ("o7" 9 13)
 ("o8" 6 14)
 ("o7" 16 17)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o15" 5 27)
 ("o14" 1 28)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o15" 28 34)
 ("o10" 17 35)
 ("o7" 34 35)
 ("u2" 19 38)
 ("o8" 31 38)
 ("o9" 29 39)
 ("o14" 29 42)
 ("o2" 33 42)
 ("u2" 39 42)
 ("o11" 42 43)
 ("o8" 39 44)
 ("o7" 37 46)
 ("o11" 44 50)
 ("o7" 47 50)
 ("o6" 34 55)
 ("o7" 51 56)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o7" 57 64)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("o7" 65 75)
 ("o15" 70 75)
 ("o7" 76 84)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o10" 53 90)
 ("o7" 86 91)
 ("o7" 92 96)
 ("u3" 15 99)
 ("o14" 51 102)
 ("u1" 91 112)
 ("o6" 92 113)
 ("o13" 91 117)
 ("o4" 59 127)
 ("o5" 67 138)
 ("o12" 89 147)
))
(3
 (
 ("u3" 6 19)
 ("o8" 20 28)
 ("o10" 27 30)
 ("u2" 29 32)
 ("o5" 19 34)
 ("o5" 35 36)
 ("u3" 25 39)
 ("o15" 19 41)
 ("o12" 41 44)
 ("o8" 41 44)
 ("o2" 23 46)
 ("o6" 24 47)
 ("o1" 32 47)
 ("o7" 32 47)
 ("o3" 14 48)
 ("o10" 31 49)
 ("u2" 41 52)
 ("o9" 14 53)
 ("o14" 43 56)
 ("u2" 53 56)
 ("o11" 49 57)
 ("o8" 53 58)
 ("o11" 58 64)
 ("u3" 45 66)
 ("o4" 36 72)
 ("u1" 28 76)
 ("o15" 54 83)
 ("o2" 57 84)
 ("u3" 73 85)
 ("o13" 52 89)
 ("o9" 54 99)
 ("u3" 89 100)
 ("o3" 53 101)
 ("o5" 75 111)
 ("o7" 87 116)
 ("u3" 106 116)
 ("o14" 64 129)
 ("o6" 48 138)
 ("o15" 101 140)
 ("u1" 77 142)
 ("o4" 74 153)
 ("o9" 100 160)
 ("o8" 59 167)
 ("o12" 99 169)
 ("o1" 51 170)
 ("o13" 101 193)
))
(4
 (
 ("o8" 6 14)
 ("o1" 2 17)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o8" 22 26)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o13" 26 37)
 ("u3" 37 41)
 ("o14" 29 42)
 ("u2" 39 42)
 ("o11" 26 43)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o4" 22 58)
 ("o6" 53 61)
 ("u1" 14 62)
 ("o15" 40 69)
 ("o2" 43 70)
 ("u3" 67 73)
 ("o13" 38 75)
 ("o14" 73 80)
 ("o15" 70 82)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o1" 46 89)
 ("o12" 91 100)
 ("u3" 102 103)
 ("o7" 59 109)
 ("o5" 101 110)
 ("o10" 70 111)
 ("o6" 110 113)
 ("o11" 93 125)
 ("o3" 88 126)
 ("o2" 98 130)
 ("o4" 78 136)
 ("o1" 90 137)
 ("u1" 83 156)
 ("o8" 111 173)
 ("u2" 97 214)
))
(5
 (
 ("o8" 8 16)
 ("u2" 17 20)
 ("o5" 23 24)
 ("o15" 7 29)
 ("o12" 29 32)
 ("o8" 29 32)
 ("o2" 11 34)
 ("o6" 12 35)
 ("o1" 20 35)
 ("o7" 20 35)
 ("o3" 2 36)
 ("o10" 19 37)
 ("o8" 35 40)
 ("o3" 37 40)
 ("o14" 31 44)
 ("u2" 41 44)
 ("o8" 41 46)
 ("o1" 36 52)
 ("o11" 46 52)
 ("o4" 24 60)
 ("o10" 38 61)
 ("u1" 16 64)
 ("o7" 47 64)
 ("u1" 65 66)
 ("o15" 42 71)
 ("o2" 45 72)
 ("o13" 40 77)
 ("o2" 79 81)
 ("o12" 58 86)
 ("o9" 42 87)
 ("o3" 41 89)
 ("o15" 72 90)
 ("o5" 85 103)
 ("o11" 71 106)
 ("u2" 45 109)
 ("o1" 75 109)
 ("o10" 82 110)
 ("o8" 86 110)
 ("o4" 95 115)
 ("o9" 88 130)
 ("o13" 78 140)
 ("o6" 51 145)
 ("o14" 85 156)
))
(6
 (
 ("o5" 7 21)
 ("o8" 14 22)
 ("u2" 23 26)
 ("o5" 26 28)
 ("o5" 29 30)
 ("o15" 13 35)
 ("o12" 35 38)
 ("o8" 35 38)
 ("o2" 17 40)
 ("o6" 18 41)
 ("o1" 26 41)
 ("o7" 26 41)
 ("o3" 8 42)
 ("o10" 25 43)
 ("o13" 16 45)
 ("o14" 37 50)
 ("u2" 47 50)
 ("o8" 47 52)
 ("o5" 42 54)
 ("o11" 52 58)
 ("o4" 30 66)
 ("u1" 22 70)
 ("o5" 60 72)
 ("o15" 48 77)
 ("o2" 51 78)
 ("o14" 51 79)
 ("o13" 46 83)
 ("o7" 42 84)
 ("o12" 79 89)
 ("o5" 74 91)
 ("o9" 48 93)
 ("o3" 47 95)
 ("o10" 48 98)
 ("o6" 42 100)
 ("u1" 71 106)
 ("o5" 94 110)
 ("o4" 67 114)
 ("o8" 79 115)
 ("u3" 55 117)
 ("o13" 84 117)
 ("o15" 78 119)
 ("o1" 96 125)
 ("o2" 82 133)
 ("o3" 96 138)
 ("u2" 95 156)
))
(7
 (
 ("o12" 2 10)
 ("o9" 3 10)
 ("o12" 11 20)
 ("o9" 16 21)
 ("o15" 24 26)
 ("o12" 21 32)
 ("o9" 34 38)
 ("o8" 32 40)
 ("o12" 33 41)
 ("u2" 41 44)
 ("o5" 47 48)
 ("o9" 42 52)
 ("o12" 44 52)
 ("o15" 31 53)
 ("o12" 53 56)
 ("o8" 53 56)
 ("o2" 35 58)
 ("o6" 36 59)
 ("o1" 44 59)
 ("o7" 44 59)
 ("o12" 57 59)
 ("o3" 26 60)
 ("o10" 43 61)
 ("o9" 62 65)
 ("o14" 55 68)
 ("u2" 65 68)
 ("o11" 42 69)
 ("o8" 65 70)
 ("o12" 60 73)
 ("o11" 70 76)
 ("o12" 74 80)
 ("o4" 48 84)
 ("u1" 40 88)
 ("o12" 81 90)
 ("o15" 66 95)
 ("o2" 69 96)
 ("o13" 64 101)
 ("o12" 91 101)
 ("u1" 99 103)
 ("o15" 103 107)
 ("o9" 66 111)
 ("o12" 103 111)
 ("o3" 65 113)
 ("u2" 89 122)
 ("o12" 112 123)
 ("o3" 114 125)
 ("o2" 97 128)
 ("o13" 102 133)
 ("o7" 60 139)
 ("o1" 113 145)
 ("o8" 107 156)
 ("o6" 79 182)
 ("o5" 98 192)
 ("u3" 92 198)
 ("o4" 119 231)
))
(8
 (
 ("o3" 6 12)
 ("o6" 13 22)
 ("u2" 5 27)
 ("o8" 19 27)
 ("o1" 17 30)
 ("o12" 7 31)
 ("u2" 28 31)
 ("o5" 34 35)
 ("o15" 18 40)
 ("o14" 23 41)
 ("o12" 40 43)
 ("o8" 40 43)
 ("o2" 22 45)
 ("o6" 23 46)
 ("o1" 31 46)
 ("o7" 31 46)
 ("o3" 13 47)
 ("o10" 30 48)
 ("o3" 48 51)
 ("o9" 3 52)
 ("o14" 42 55)
 ("u2" 52 55)
 ("o8" 52 57)
 ("o10" 54 59)
 ("o11" 57 63)
 ("o1" 55 70)
 ("o4" 35 71)
 ("u1" 27 75)
 ("o12" 44 76)
 ("o15" 53 82)
 ("o2" 56 83)
 ("o8" 73 87)
 ("o13" 51 88)
 ("o13" 92 94)
 ("o9" 53 98)
 ("o3" 52 100)
 ("o11" 97 105)
 ("o1" 84 109)
 ("o12" 89 110)
 ("u2" 62 114)
 ("o3" 101 121)
 ("u3" 25 122)
 ("u1" 76 131)
 ("o9" 99 141)
 ("o15" 83 144)
 ("o6" 100 175)
 ("o7" 102 188)
))
(9
 (
 ("o8" 4 12)
 ("o2" 5 15)
 ("o8" 13 21)
 ("u2" 22 25)
 ("o5" 10 27)
 ("o4" 2 28)
 ("o5" 28 29)
 ("o8" 24 33)
 ("o15" 12 34)
 ("o12" 34 37)
 ("o8" 34 37)
 ("o2" 16 39)
 ("o6" 17 40)
 ("o1" 25 40)
 ("o7" 25 40)
 ("o3" 7 41)
 ("o10" 24 42)
 ("u2" 30 45)
 ("o9" 15 46)
 ("o14" 36 49)
 ("o7" 41 49)
 ("u2" 46 49)
 ("o8" 46 51)
 ("o11" 51 57)
 ("o4" 29 65)
 ("u1" 21 69)
 ("o6" 71 74)
 ("o15" 47 76)
 ("o2" 50 77)
 ("o8" 56 78)
 ("o10" 51 79)
 ("o13" 45 82)
 ("o14" 85 86)
 ("u2" 70 89)
 ("o7" 76 91)
 ("o9" 47 92)
 ("o3" 46 94)
 ("o13" 83 102)
 ("o8" 82 103)
 ("o4" 66 118)
 ("u3" 81 119)
 ("o2" 78 121)
 ("o5" 80 135)
 ("o1" 64 140)
 ("o12" 91 144)
 ("o11" 62 148)
))
(10
 (
 ("o8" 15 18)
 ("u1" 5 26)
 ("o8" 19 27)
 ("u2" 28 31)
 ("o5" 34 35)
 ("o15" 18 40)
 ("o14" 29 41)
 ("o12" 40 43)
 ("o8" 40 43)
 ("o2" 22 45)
 ("o11" 24 45)
 ("o6" 23 46)
 ("o1" 31 46)
 ("o7" 31 46)
 ("o3" 13 47)
 ("o10" 30 48)
 ("u2" 32 51)
 ("o1" 47 51)
 ("o3" 48 51)
 ("o14" 42 55)
 ("o2" 46 55)
 ("u2" 52 55)
 ("o8" 52 57)
 ("o11" 57 63)
 ("o4" 35 71)
 ("u1" 27 75)
 ("o7" 75 78)
 ("o12" 80 81)
 ("o15" 53 82)
 ("o2" 56 83)
 ("o4" 75 87)
 ("o13" 51 88)
 ("o10" 71 88)
 ("o5" 36 91)
 ("o9" 53 98)
 ("o8" 58 98)
 ("o11" 80 99)
 ("o3" 52 100)
 ("o1" 98 102)
 ("o13" 96 123)
 ("u1" 88 147)
 ("u3" 76 152)
 ("o9" 99 193)
))
(11
 (
 ("o9" 5 16)
 ("o8" 13 21)
 ("o7" 15 24)
 ("u2" 22 25)
 ("o5" 28 29)
 ("o9" 23 30)
 ("o15" 12 34)
 ("o12" 34 37)
 ("o8" 34 37)
 ("o2" 16 39)
 ("o6" 17 40)
 ("o1" 25 40)
 ("o7" 25 40)
 ("o3" 7 41)
 ("o10" 24 42)
 ("o9" 34 46)
 ("o14" 36 49)
 ("o2" 40 49)
 ("u2" 46 49)
 ("o11" 29 50)
 ("o8" 46 51)
 ("o12" 51 54)
 ("o11" 51 57)
 ("o14" 62 63)
 ("o4" 29 65)
 ("u1" 21 69)
 ("o5" 38 74)
 ("o15" 47 76)
 ("u1" 70 76)
 ("o2" 50 77)
 ("o8" 60 79)
 ("o13" 45 82)
 ("o9" 47 92)
 ("o3" 46 94)
 ("o2" 78 94)
 ("o10" 51 95)
 ("o7" 71 100)
 ("u3" 22 102)
 ("o9" 94 103)
 ("o11" 79 111)
 ("o4" 66 120)
 ("o3" 95 120)
 ("u2" 50 129)
 ("o1" 69 151)
 ("o13" 83 160)
 ("o6" 75 178)
))
(12
 (
 ("o8" 12 20)
 ("o10" 6 22)
 ("u2" 21 24)
 ("u3" 17 28)
 ("o5" 27 28)
 ("o15" 11 33)
 ("o12" 33 36)
 ("o8" 33 36)
 ("o2" 15 38)
 ("o6" 16 39)
 ("o1" 24 39)
 ("o7" 24 39)
 ("o3" 6 40)
 ("o10" 23 41)
 ("o13" 33 43)
 ("u2" 43 44)
 ("o9" 24 45)
 ("o12" 37 45)
 ("o14" 35 48)
 ("u2" 45 48)
 ("o2" 47 48)
 ("o8" 45 50)
 ("o11" 50 56)
 ("o10" 42 57)
 ("u3" 55 62)
 ("o4" 28 64)
 ("u1" 20 68)
 ("o5" 69 74)
 ("o15" 46 75)
 ("o2" 49 76)
 ("o13" 44 81)
 ("o12" 71 85)
 ("o4" 65 90)
 ("o9" 46 91)
 ("o3" 45 93)
 ("o10" 74 93)
 ("u3" 86 96)
 ("o9" 92 101)
 ("o13" 86 102)
 ("o7" 40 111)
 ("o10" 95 114)
 ("o8" 64 122)
 ("u1" 69 122)
 ("o11" 73 124)
 ("o15" 81 127)
 ("o6" 40 133)
 ("o1" 80 175)
))
(13
 (
 ("o3" 6 15)
 ("o1" 13 27)
 ("o8" 22 30)
 ("u2" 31 34)
 ("o5" 37 38)
 ("o12" 33 42)
 ("o15" 21 43)
 ("o12" 43 46)
 ("o8" 43 46)
 ("o2" 25 48)
 ("o6" 26 49)
 ("o1" 34 49)
 ("o7" 34 49)
 ("o3" 16 50)
 ("o10" 33 51)
 ("o13" 21 53)
 ("o15" 45 55)
 ("o14" 45 58)
 ("u2" 55 58)
 ("o8" 55 60)
 ("o1" 50 66)
 ("o11" 60 66)
 ("o4" 38 74)
 ("u1" 30 78)
 ("o7" 78 84)
 ("o15" 56 85)
 ("o2" 59 86)
 ("o13" 54 91)
 ("o10" 92 95)
 ("o1" 75 98)
 ("o9" 56 101)
 ("o3" 55 103)
 ("u3" 19 105)
 ("o9" 102 122)
 ("o1" 110 125)
 ("o12" 91 131)
 ("u1" 79 137)
 ("o11" 72 138)
 ("o2" 93 140)
 ("o3" 104 141)
 ("o5" 84 155)
 ("o14" 103 159)
 ("o8" 119 160)
 ("o6" 83 175)
 ("o13" 116 190)
 ("u2" 93 203)
 ("o4" 116 213)
))
(14
 (
 ("o8" 7 15)
 ("o10" 4 17)
 ("u2" 16 19)
 ("o4" 16 22)
 ("o5" 22 23)
 ("o15" 6 28)
 ("o14" 1 29)
 ("o12" 28 31)
 ("o8" 28 31)
 ("o2" 10 33)
 ("o6" 11 34)
 ("o1" 19 34)
 ("o7" 19 34)
 ("o3" 1 35)
 ("o10" 18 36)
 ("o8" 32 39)
 ("o3" 36 39)
 ("o9" 15 40)
 ("o14" 30 43)
 ("u2" 40 43)
 ("o11" 41 44)
 ("o8" 40 45)
 ("o11" 45 51)
 ("o4" 23 59)
 ("u1" 15 63)
 ("u2" 66 67)
 ("o10" 37 68)
 ("o15" 41 70)
 ("o2" 44 71)
 ("u3" 52 72)
 ("o13" 39 76)
 ("o1" 59 81)
 ("o9" 41 86)
 ("o3" 40 88)
 ("u1" 64 89)
 ("o2" 72 94)
 ("o10" 75 98)
 ("o5" 35 112)
 ("o6" 53 118)
 ("o7" 84 124)
 ("o15" 71 130)
 ("o12" 71 133)
 ("o14" 63 138)
))
(15
 (
 ("o8" 9 17)
 ("u2" 18 21)
 ("o5" 24 25)
 ("o15" 8 30)
 ("o12" 30 33)
 ("o8" 30 33)
 ("o2" 12 35)
 ("o6" 13 36)
 ("o1" 21 36)
 ("o7" 21 36)
 ("o3" 3 37)
 ("o10" 20 38)
 ("o13" 20 40)
 ("o3" 38 41)
 ("o14" 32 45)
 ("u2" 42 45)
 ("o8" 42 47)
 ("u3" 44 47)
 ("o11" 47 53)
 ("o4" 25 61)
 ("u1" 17 65)
 ("o15" 43 72)
 ("o2" 46 73)
 ("o11" 61 76)
 ("o13" 41 78)
 ("u3" 80 83)
 ("o9" 43 88)
 ("o3" 42 90)
 ("o6" 92 109)
 ("o14" 87 112)
 ("o10" 39 113)
 ("u1" 66 118)
 ("o1" 37 125)
 ("o9" 89 126)
 ("o2" 90 146)
 ("o5" 58 155)
 ("o3" 91 157)
 ("o15" 75 158)
 ("o7" 48 170)
 ("o13" 110 176)
 ("o8" 89 180)
 ("o12" 81 187)
 ("o4" 87 198)
 ("u2" 96 198)
))
(16
 (
 ("o8" 15 23)
 ("o10" 3 25)
 ("u2" 24 27)
 ("o4" 1 30)
 ("o5" 30 31)
 ("o15" 14 36)
 ("o14" 8 37)
 ("o12" 36 39)
 ("o8" 36 39)
 ("o2" 18 41)
 ("o6" 19 42)
 ("o1" 27 42)
 ("o7" 27 42)
 ("o3" 9 43)
 ("o10" 26 44)
 ("o3" 44 47)
 ("o9" 34 48)
 ("o14" 38 51)
 ("o2" 42 51)
 ("u2" 48 51)
 ("o8" 48 53)
 ("o11" 53 59)
 ("o10" 45 61)
 ("o4" 31 67)
 ("u1" 23 71)
 ("o8" 55 73)
 ("o15" 49 78)
 ("o2" 52 79)
 ("o13" 47 84)
 ("o6" 72 88)
 ("o7" 69 89)
 ("o9" 49 94)
 ("o10" 66 95)
 ("o3" 48 96)
 ("u2" 63 98)
 ("o14" 59 99)
 ("o11" 63 100)
 ("o12" 67 105)
 ("o5" 77 108)
 ("o4" 68 117)
 ("o10" 100 130)
 ("u1" 82 135)
 ("o15" 79 160)
 ("o13" 91 198)
))
(17
 (
 ("o15" 2 4)
 ("o8" 6 14)
 ("u2" 15 18)
 ("o4" 17 18)
 ("o5" 21 22)
 ("o8" 22 26)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("u2" 37 38)
 ("o14" 29 42)
 ("u2" 39 42)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o12" 39 69)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o14" 57 72)
 ("o13" 38 75)
 ("o4" 78 81)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o6" 42 92)
 ("o3" 88 94)
 ("o15" 70 102)
 ("o7" 98 103)
 ("o4" 104 106)
 ("o5" 27 121)
 ("o1" 58 127)
 ("o13" 94 135)
 ("u1" 63 137)
 ("o15" 103 138)
 ("o9" 86 147)
 ("o10" 47 150)
 ("u3" 76 175)
 ("o8" 110 183)
 ("o11" 90 198)
))
(18
 (
 ("o8" 6 14)
 ("o1" 13 17)
 ("o12" 7 18)
 ("u2" 15 18)
 ("o4" 7 21)
 ("o5" 21 22)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o9" 16 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o8" 32 38)
 ("o3" 37 38)
 ("o15" 28 39)
 ("o14" 29 42)
 ("o2" 34 42)
 ("u2" 39 42)
 ("o8" 39 44)
 ("o12" 34 46)
 ("o11" 44 50)
 ("o5" 47 57)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o12" 55 62)
 ("o15" 40 69)
 ("u3" 64 69)
 ("o2" 43 70)
 ("o6" 45 73)
 ("o14" 43 74)
 ("o13" 38 75)
 ("o12" 76 80)
 ("o9" 40 85)
 ("o10" 36 87)
 ("o3" 39 87)
 ("o13" 86 91)
 ("o9" 86 100)
 ("o11" 51 114)
 ("u2" 61 139)
 ("o1" 86 139)
 ("u1" 69 151)
))
(19
 (
 ("o2" 1 13)
 ("o8" 11 19)
 ("o10" 13 21)
 ("u2" 20 23)
 ("o5" 26 27)
 ("o15" 10 32)
 ("o13" 24 33)
 ("o12" 32 35)
 ("o8" 32 35)
 ("o2" 14 37)
 ("o6" 15 38)
 ("o1" 23 38)
 ("o7" 23 38)
 ("o3" 5 39)
 ("o10" 22 40)
 ("o2" 38 41)
 ("o14" 34 47)
 ("o2" 42 47)
 ("u2" 44 47)
 ("o8" 44 49)
 ("o11" 49 55)
 ("o4" 27 63)
 ("u1" 19 67)
 ("o5" 44 67)
 ("o8" 70 72)
 ("o11" 69 73)
 ("o15" 45 74)
 ("o2" 48 75)
 ("u1" 76 77)
 ("o13" 43 80)
 ("o9" 45 90)
 ("o3" 44 92)
 ("o2" 76 95)
 ("u3" 84 107)
 ("o13" 102 112)
 ("o4" 102 113)
 ("o2" 96 114)
 ("o15" 94 116)
 ("o9" 91 119)
 ("o1" 39 125)
 ("u2" 58 127)
 ("o10" 83 134)
 ("o6" 45 135)
 ("o3" 93 146)
 ("o14" 75 148)
 ("o12" 78 153)
 ("o7" 77 162)
))
(20
 (
 ("o8" 8 16)
 ("o11" 1 17)
 ("o1" 11 19)
 ("u2" 17 20)
 ("o5" 23 24)
 ("o12" 17 28)
 ("o15" 7 29)
 ("o12" 29 32)
 ("o8" 29 32)
 ("o2" 11 34)
 ("o11" 18 34)
 ("o6" 12 35)
 ("o1" 20 35)
 ("o7" 20 35)
 ("o3" 2 36)
 ("o10" 19 37)
 ("u3" 29 37)
 ("u2" 26 40)
 ("o8" 35 40)
 ("o3" 37 40)
 ("o14" 31 44)
 ("u2" 41 44)
 ("o11" 37 45)
 ("o8" 41 46)
 ("o11" 46 52)
 ("o4" 24 60)
 ("o10" 38 60)
 ("o12" 42 63)
 ("u1" 16 64)
 ("u1" 65 66)
 ("o7" 36 70)
 ("o15" 42 71)
 ("o2" 45 72)
 ("o15" 72 75)
 ("o13" 40 77)
 ("o11" 60 78)
 ("o2" 73 78)
 ("u2" 69 80)
 ("u3" 67 81)
 ("o1" 49 82)
 ("o9" 42 87)
 ("o3" 41 89)
 ("o6" 83 93)
 ("o11" 79 94)
 ("o12" 88 101)
 ("o4" 61 104)
 ("o10" 80 105)
 ("o5" 76 125)
 ("o7" 90 134)
 ("o3" 90 136)
 ("o13" 78 143)
 ("o14" 64 145)
))
(21
 (
 ("o15" 10 17)
 ("o8" 19 27)
 ("o7" 15 28)
 ("u2" 28 31)
 ("o5" 18 33)
 ("o5" 34 35)
 ("o15" 18 40)
 ("o9" 28 41)
 ("o12" 40 43)
 ("o8" 40 43)
 ("o2" 22 45)
 ("o6" 23 46)
 ("o1" 31 46)
 ("o7" 31 46)
 ("o3" 13 47)
 ("o10" 30 48)
 ("o3" 48 51)
 ("o7" 47 53)
 ("o14" 42 55)
 ("u2" 52 55)
 ("o8" 52 57)
 ("o11" 57 63)
 ("o4" 35 71)
 ("u1" 27 75)
 ("o7" 70 77)
 ("o15" 53 82)
 ("o2" 56 83)
 ("o13" 51 88)
 ("o12" 47 94)
 ("o6" 86 95)
 ("o9" 53 98)
 ("o10" 57 98)
 ("o3" 52 100)
 ("o7" 91 101)
 ("o9" 99 101)
 ("o2" 84 107)
 ("o1" 62 119)
 ("u3" 66 120)
 ("u1" 77 124)
 ("o8" 58 128)
 ("o11" 70 134)
 ("o4" 103 145)
 ("u2" 56 161)
 ("o14" 71 164)
 ("o15" 98 166)
))
(22
 (
 ("o8" 6 14)
 ("u2" 15 18)
 ("o5" 17 18)
 ("o5" 21 22)
 ("o12" 11 26)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o13" 28 37)
 ("o5" 36 37)
 ("o3" 35 38)
 ("o14" 29 42)
 ("u2" 39 42)
 ("o8" 39 44)
 ("u3" 25 48)
 ("o11" 44 50)
 ("o5" 45 50)
 ("o10" 36 57)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o15" 40 69)
 ("o5" 62 69)
 ("o2" 43 70)
 ("u1" 64 70)
 ("o13" 38 75)
 ("u3" 60 84)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o7" 44 91)
 ("o1" 39 94)
 ("o8" 58 94)
 ("o4" 59 98)
 ("o15" 72 101)
 ("o6" 50 105)
 ("o11" 61 115)
 ("o12" 74 115)
 ("o10" 74 117)
 ("u2" 65 118)
 ("o2" 71 152)
))
(23
 (
 ("o8" 11 19)
 ("u2" 20 23)
 ("o5" 26 27)
 ("o15" 10 32)
 ("o12" 32 35)
 ("o8" 32 35)
 ("o2" 14 37)
 ("o6" 15 38)
 ("o1" 23 38)
 ("o7" 23 38)
 ("o3" 5 39)
 ("o10" 22 40)
 ("o14" 34 47)
 ("u2" 44 47)
 ("o11" 24 48)
 ("o8" 44 49)
 ("o11" 49 55)
 ("o4" 27 63)
 ("u1" 19 67)
 ("o15" 45 74)
 ("o4" 64 74)
 ("o2" 48 75)
 ("o13" 43 80)
 ("u2" 59 89)
 ("o9" 45 90)
 ("o3" 44 92)
 ("o10" 44 94)
 ("u1" 68 106)
 ("o1" 40 109)
 ("u3" 82 126)
 ("o15" 75 127)
 ("o7" 103 149)
 ("o12" 99 153)
 ("o6" 81 162)
 ("o2" 76 172)
 ("o5" 94 189)
 ("o9" 103 189)
 ("o14" 86 190)
 ("o8" 100 198)
))
(24
 (
 ("o15" 2 5)
 ("o8" 7 15)
 ("u2" 16 19)
 ("o5" 22 23)
 ("o15" 6 28)
 ("o12" 28 31)
 ("o8" 28 31)
 ("o2" 10 33)
 ("o6" 11 34)
 ("o1" 19 34)
 ("o7" 19 34)
 ("o3" 1 35)
 ("o10" 18 36)
 ("o13" 21 38)
 ("o3" 38 39)
 ("o9" 2 40)
 ("o14" 30 43)
 ("o2" 34 43)
 ("u2" 40 43)
 ("o8" 40 45)
 ("o11" 45 51)
 ("o4" 23 59)
 ("u1" 15 63)
 ("o15" 41 70)
 ("o2" 44 71)
 ("o13" 39 76)
 ("o11" 52 78)
 ("o10" 37 85)
 ("u1" 74 85)
 ("o9" 41 86)
 ("o3" 40 88)
 ("o12" 61 89)
 ("o4" 80 94)
 ("o2" 72 100)
 ("o5" 58 102)
 ("o1" 61 106)
 ("o3" 89 106)
 ("o8" 87 115)
 ("o6" 86 116)
 ("u3" 48 121)
 ("o9" 87 129)
 ("o13" 84 130)
 ("u2" 74 138)
 ("o7" 49 141)
 ("o14" 84 147)
))
(25
 (
 ("o8" 9 17)
 ("o1" 13 20)
 ("o7" 19 20)
 ("u2" 18 21)
 ("o4" 7 24)
 ("o5" 24 25)
 ("o15" 8 30)
 ("o12" 30 33)
 ("o8" 30 33)
 ("o2" 12 35)
 ("o6" 13 36)
 ("o1" 21 36)
 ("o7" 21 36)
 ("o3" 3 37)
 ("o10" 20 38)
 ("u2" 30 41)
 ("o8" 34 41)
 ("o15" 40 42)
 ("o14" 32 45)
 ("u2" 42 45)
 ("o11" 44 46)
 ("o8" 42 47)
 ("o11" 47 53)
 ("o6" 57 60)
 ("o4" 25 61)
 ("u1" 17 65)
 ("o15" 43 72)
 ("o2" 46 73)
 ("o13" 41 78)
 ("o4" 62 80)
 ("o9" 43 88)
 ("o3" 42 90)
 ("o9" 89 92)
 ("o14" 46 111)
 ("o4" 87 114)
 ("u3" 42 117)
 ("u1" 73 120)
 ("o7" 79 126)
 ("o2" 87 152)
 ("o3" 91 164)
))
(26
 (
 ("u1" 6 13)
 ("u2" 3 14)
 ("o8" 6 14)
 ("o7" 15 17)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o13" 27 37)
 ("o3" 35 38)
 ("o14" 29 42)
 ("o2" 33 42)
 ("u2" 39 42)
 ("o11" 24 43)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o4" 22 58)
 ("u1" 14 62)
 ("u1" 63 65)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("o15" 70 76)
 ("u1" 72 78)
 ("u3" 38 81)
 ("o9" 40 85)
 ("o3" 39 87)
 ("u1" 85 94)
 ("o8" 45 99)
 ("o14" 87 100)
 ("o7" 59 101)
 ("o11" 73 102)
 ("o3" 88 114)
 ("u2" 64 116)
 ("u1" 97 118)
 ("o5" 75 126)
 ("o13" 88 127)
 ("o10" 89 129)
 ("o1" 76 132)
 ("o6" 91 133)
 ("o12" 81 163)
 ("o9" 92 168)
 ("o4" 98 199)
))
(27
 (
 ("u1" 11 23)
 ("o8" 16 24)
 ("o1" 8 27)
 ("u2" 25 28)
 ("o5" 31 32)
 ("o8" 32 36)
 ("o15" 15 37)
 ("o12" 37 40)
 ("o8" 37 40)
 ("o2" 19 42)
 ("o6" 20 43)
 ("o1" 28 43)
 ("o7" 28 43)
 ("o3" 10 44)
 ("o10" 27 45)
 ("o13" 43 47)
 ("o3" 45 48)
 ("o9" 29 49)
 ("o14" 39 52)
 ("u2" 49 52)
 ("o8" 49 54)
 ("o11" 54 60)
 ("o4" 32 68)
 ("u1" 24 72)
 ("o15" 50 79)
 ("o2" 53 80)
 ("u3" 56 82)
 ("o13" 48 85)
 ("o4" 76 90)
 ("o14" 88 90)
 ("o9" 50 95)
 ("o15" 87 95)
 ("o3" 49 97)
 ("u1" 80 101)
 ("o5" 96 105)
 ("o1" 53 106)
 ("o11" 89 121)
 ("o2" 81 129)
 ("o7" 51 130)
 ("o3" 98 135)
 ("o10" 46 139)
 ("o12" 63 148)
 ("o6" 98 189)
))
(28
 (
 ("u2" 3 11)
 ("o8" 6 14)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o15" 5 27)
 ("u2" 22 30)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o3" 35 38)
 ("u2" 37 38)
 ("o15" 28 39)
 ("o14" 29 42)
 ("u2" 39 42)
 ("o11" 36 43)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o4" 22 58)
 ("u2" 51 58)
 ("u1" 14 62)
 ("o12" 31 64)
 ("o5" 39 65)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("o4" 66 78)
 ("u2" 69 78)
 ("o15" 70 78)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o2" 86 91)
 ("u2" 87 96)
 ("u3" 71 99)
 ("o3" 88 106)
 ("o8" 47 108)
 ("o6" 34 110)
 ("o13" 76 114)
 ("o1" 70 119)
 ("u1" 74 119)
 ("o12" 84 119)
 ("o9" 86 119)
 ("o10" 54 135)
 ("o14" 48 136)
 ("o7" 89 138)
))
(29
 (
 ("o2" 14 25)
 ("u1" 29 30)
 ("o8" 23 31)
 ("o4" 31 33)
 ("o7" 19 34)
 ("u2" 32 35)
 ("o5" 38 39)
 ("o15" 22 44)
 ("o12" 44 47)
 ("o8" 44 47)
 ("o2" 26 49)
 ("o6" 27 50)
 ("o1" 35 50)
 ("o7" 35 50)
 ("o3" 17 51)
 ("o10" 34 52)
 ("o11" 49 57)
 ("o14" 46 59)
 ("u2" 56 59)
 ("o2" 57 59)
 ("o8" 56 61)
 ("o11" 61 67)
 ("o4" 39 75)
 ("u1" 31 79)
 ("o15" 57 86)
 ("o12" 82 86)
 ("o2" 60 87)
 ("o13" 55 92)
 ("o6" 62 93)
 ("o9" 57 102)
 ("o4" 99 103)
 ("o3" 56 104)
 ("o11" 98 104)
 ("o14" 96 105)
 ("o9" 103 105)
 ("o15" 87 117)
 ("o10" 53 130)
 ("o5" 67 132)
 ("u2" 60 138)
 ("o2" 102 141)
 ("o7" 88 150)
 ("o8" 92 158)
 ("o13" 108 158)
 ("o1" 100 171)
 ("u3" 92 177)
))
(30
 (
 ("o8" 9 17)
 ("u2" 18 21)
 ("o5" 24 25)
 ("o15" 8 30)
 ("o12" 30 33)
 ("o8" 30 33)
 ("o2" 12 35)
 ("o6" 13 36)
 ("o1" 21 36)
 ("o7" 21 36)
 ("o3" 3 37)
 ("o10" 20 38)
 ("o13" 17 40)
 ("o9" 23 42)
 ("o14" 32 45)
 ("u2" 42 45)
 ("o11" 2 46)
 ("o8" 42 47)
 ("o11" 47 53)
 ("o4" 25 61)
 ("u1" 17 65)
 ("o12" 47 65)
 ("o4" 62 65)
 ("o15" 43 72)
 ("o2" 46 73)
 ("u1" 66 75)
 ("o13" 41 78)
 ("o9" 43 88)
 ("o3" 42 90)
 ("o3" 91 101)
 ("o9" 89 105)
 ("o8" 48 114)
 ("o10" 63 116)
 ("o1" 81 128)
 ("u1" 96 129)
 ("u3" 100 129)
 ("o15" 81 131)
 ("o6" 58 133)
 ("o5" 78 144)
 ("o4" 97 151)
 ("o13" 96 159)
 ("o14" 83 163)
 ("o7" 71 178)
 ("o2" 105 202)
 ("o11" 105 217)
))
(31
 (
 ("o2" 3 10)
 ("o8" 8 16)
 ("o10" 5 18)
 ("u2" 17 20)
 ("o5" 1 22)
 ("o5" 23 24)
 ("o12" 21 28)
 ("o9" 27 28)
 ("o15" 7 29)
 ("o12" 29 32)
 ("o8" 29 32)
 ("o2" 11 34)
 ("o6" 12 35)
 ("o1" 20 35)
 ("o7" 20 35)
 ("o3" 2 36)
 ("o10" 19 37)
 ("o14" 31 44)
 ("u2" 41 44)
 ("o11" 35 45)
 ("o8" 41 46)
 ("o11" 46 52)
 ("o4" 24 60)
 ("u1" 16 64)
 ("o6" 36 68)
 ("o15" 42 71)
 ("o2" 45 72)
 ("o13" 40 77)
 ("o4" 61 79)
 ("o7" 36 84)
 ("o9" 42 87)
 ("o3" 41 89)
 ("o1" 43 90)
 ("o9" 88 90)
 ("o8" 77 100)
 ("o3" 90 115)
 ("o14" 45 118)
 ("u3" 66 119)
 ("u2" 86 121)
 ("o6" 90 121)
 ("o12" 92 121)
 ("o2" 73 142)
 ("o10" 74 155)
 ("o15" 72 167)
 ("u1" 79 169)
))
(32
 (
 ("o8" 8 16)
 ("u2" 17 20)
 ("o5" 23 24)
 ("o15" 7 29)
 ("o14" 7 30)
 ("u3" 21 32)
 ("o12" 29 32)
 ("o8" 29 32)
 ("o2" 11 34)
 ("o6" 12 35)
 ("o1" 20 35)
 ("o7" 20 35)
 ("o3" 2 36)
 ("o10" 19 37)
 ("o3" 38 40)
 ("o9" 7 41)
 ("o15" 30 41)
 ("o14" 31 44)
 ("u2" 41 44)
 ("o8" 41 46)
 ("o11" 46 52)
 ("o12" 47 52)
 ("o4" 24 60)
 ("u1" 16 64)
 ("o15" 42 71)
 ("o2" 45 72)
 ("u3" 53 74)
 ("o13" 40 77)
 ("o9" 42 87)
 ("o3" 41 89)
 ("u1" 82 91)
 ("u2" 45 101)
 ("o6" 58 109)
 ("o11" 77 113)
 ("o10" 86 116)
 ("o7" 75 118)
 ("o4" 79 127)
 ("o1" 62 130)
 ("o5" 60 159)
 ("o2" 86 159)
))
(33
 (
 ("o8" 11 19)
 ("o13" 12 19)
 ("u2" 20 23)
 ("o5" 26 27)
 ("o15" 10 32)
 ("o12" 32 35)
 ("o8" 32 35)
 ("o13" 31 36)
 ("o2" 14 37)
 ("o6" 15 38)
 ("o1" 23 38)
 ("o7" 23 38)
 ("o3" 5 39)
 ("o10" 22 40)
 ("u2" 33 43)
 ("o3" 40 43)
 ("o14" 34 47)
 ("o2" 41 47)
 ("u2" 44 47)
 ("o8" 44 49)
 ("o11" 49 55)
 ("o12" 48 59)
 ("o4" 27 63)
 ("o1" 65 66)
 ("u1" 19 67)
 ("u3" 39 68)
 ("o5" 63 71)
 ("o15" 45 74)
 ("o2" 48 75)
 ("o4" 64 78)
 ("o13" 43 80)
 ("o9" 45 90)
 ("o3" 44 92)
 ("o13" 89 92)
 ("o12" 93 98)
 ("o9" 91 100)
 ("o13" 101 106)
 ("o3" 101 111)
 ("o10" 51 130)
 ("o8" 50 140)
 ("o7" 90 148)
 ("o11" 72 163)
 ("o15" 90 165)
 ("o14" 100 184)
))
(34
 (
 ("o8" 2 8)
 ("u1" 7 16)
 ("o8" 9 17)
 ("u2" 18 21)
 ("o5" 24 25)
 ("o15" 8 30)
 ("o12" 30 33)
 ("o8" 30 33)
 ("o2" 12 35)
 ("o6" 13 36)
 ("o1" 21 36)
 ("o7" 21 36)
 ("o3" 3 37)
 ("o10" 20 38)
 ("o13" 31 40)
 ("o8" 34 41)
 ("o15" 39 41)
 ("o9" 2 42)
 ("o14" 32 45)
 ("u2" 42 45)
 ("o11" 41 46)
 ("o8" 42 47)
 ("o11" 47 53)
 ("o7" 47 55)
 ("o4" 25 61)
 ("u1" 17 65)
 ("o15" 43 72)
 ("u1" 66 72)
 ("o2" 46 73)
 ("o13" 41 78)
 ("u3" 39 79)
 ("o9" 43 88)
 ("o3" 42 90)
 ("o8" 52 91)
 ("o6" 53 91)
 ("o1" 71 95)
 ("u1" 89 101)
 ("o4" 62 103)
 ("o9" 89 110)
 ("o3" 91 111)
 ("u2" 89 117)
 ("o10" 66 137)
 ("o12" 68 142)
 ("o2" 81 162)
 ("o5" 89 171)
))
(35
 (
 ("o11" 2 10)
 ("o2" 14 25)
 ("o11" 15 26)
 ("u2" 1 31)
 ("o8" 23 31)
 ("u2" 32 35)
 ("o5" 30 37)
 ("o5" 38 39)
 ("o15" 22 44)
 ("o11" 31 44)
 ("o12" 44 47)
 ("o8" 44 47)
 ("o2" 26 49)
 ("o6" 27 50)
 ("o1" 35 50)
 ("o7" 35 50)
 ("o3" 17 51)
 ("o13" 19 51)
 ("o10" 34 52)
 ("o14" 46 59)
 ("u2" 56 59)
 ("o11" 53 60)
 ("o8" 56 61)
 ("o11" 61 67)
 ("u3" 45 68)
 ("o4" 39 75)
 ("u1" 31 79)
 ("o6" 77 81)
 ("o15" 57 86)
 ("o2" 60 87)
 ("o11" 77 88)
 ("o13" 55 92)
 ("o1" 87 92)
 ("o15" 87 92)
 ("o9" 57 102)
 ("o11" 91 103)
 ("o3" 56 104)
 ("o14" 60 105)
 ("o13" 93 112)
 ("o4" 78 113)
 ("o7" 51 121)
 ("o10" 53 124)
 ("o12" 96 130)
 ("u1" 80 144)
 ("u2" 90 148)
))
(36
 (
 ("o8" 16 24)
 ("u2" 25 28)
 ("o5" 31 32)
 ("o14" 9 37)
 ("o15" 15 37)
 ("o9" 25 39)
 ("o12" 37 40)
 ("o8" 37 40)
 ("o2" 19 42)
 ("o6" 20 43)
 ("o1" 28 43)
 ("o7" 28 43)
 ("o3" 10 44)
 ("o10" 27 45)
 ("o13" 11 47)
 ("u2" 45 48)
 ("o11" 49 51)
 ("o14" 39 52)
 ("u2" 49 52)
 ("o7" 44 54)
 ("o8" 49 54)
 ("o11" 54 60)
 ("o4" 32 68)
 ("u1" 24 72)
 ("o15" 50 79)
 ("o2" 53 80)
 ("o14" 53 81)
 ("o10" 49 83)
 ("o13" 48 85)
 ("o4" 69 93)
 ("u1" 89 93)
 ("o9" 50 95)
 ("o3" 49 97)
 ("o12" 76 107)
 ("u3" 98 108)
 ("o7" 95 112)
 ("o6" 53 126)
 ("o14" 95 127)
 ("o1" 44 132)
 ("o2" 81 136)
 ("o5" 51 139)
 ("o15" 80 171)
 ("o13" 96 185)
))
(37
 (
 ("o8" 6 14)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o15" 5 27)
 ("o14" 12 28)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o8" 31 38)
 ("o3" 35 38)
 ("o14" 29 42)
 ("u2" 39 42)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o4" 59 87)
 ("u2" 43 88)
 ("o3" 88 93)
 ("o11" 69 94)
 ("o10" 60 96)
 ("o7" 53 112)
 ("o1" 47 133)
 ("u1" 63 133)
 ("o6" 75 135)
 ("o15" 78 144)
 ("o12" 82 156)
 ("u3" 72 163)
 ("o2" 78 180)
))
(38
 (
 ("o8" 6 14)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o12" 23 26)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o14" 29 42)
 ("o2" 33 42)
 ("u2" 39 42)
 ("o11" 40 43)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o5" 41 57)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("o9" 40 85)
 ("o1" 59 85)
 ("o3" 39 87)
 ("o6" 34 89)
 ("o8" 68 104)
 ("o11" 91 104)
 ("o14" 68 115)
 ("u1" 94 117)
 ("o9" 86 119)
 ("o4" 87 121)
 ("o15" 70 126)
 ("o10" 57 129)
 ("u2" 69 136)
 ("o13" 76 139)
 ("o2" 92 154)
 ("o3" 90 173)
 ("o6" 92 188)
))
(39
 (
 ("o6" 5 12)
 ("o8" 9 17)
 ("o13" 3 18)
 ("o10" 5 19)
 ("u2" 18 21)
 ("o5" 24 25)
 ("o12" 18 29)
 ("o15" 8 30)
 ("o12" 30 33)
 ("o8" 30 33)
 ("o2" 12 35)
 ("o6" 13 36)
 ("o1" 21 36)
 ("o7" 21 36)
 ("o3" 3 37)
 ("o10" 20 38)
 ("o13" 24 39)
 ("o3" 38 41)
 ("u2" 40 41)
 ("o15" 35 42)
 ("o9" 40 42)
 ("o14" 32 45)
 ("u2" 42 45)
 ("o2" 44 45)
 ("o8" 42 47)
 ("o11" 47 53)
 ("o4" 25 61)
 ("u1" 17 65)
 ("u3" 18 66)
 ("o12" 56 66)
 ("o15" 43 72)
 ("o2" 46 73)
 ("o13" 41 78)
 ("o14" 55 81)
 ("o15" 77 82)
 ("o12" 79 85)
 ("o9" 43 88)
 ("o13" 79 88)
 ("o3" 42 90)
 ("o5" 50 93)
 ("o11" 55 97)
 ("u1" 70 107)
 ("o3" 91 129)
 ("u3" 80 130)
 ("o7" 71 135)
 ("o8" 65 141)
 ("o1" 66 142)
 ("o4" 69 152)
 ("o6" 93 176)
))
(40
 (
 ("o7" 3 5)
 ("o7" 10 12)
 ("o8" 7 15)
 ("o7" 15 18)
 ("o1" 17 18)
 ("o4" 12 19)
 ("u2" 16 19)
 ("o5" 22 23)
 ("o15" 6 28)
 ("o12" 28 31)
 ("o8" 28 31)
 ("o2" 10 33)
 ("u2" 31 33)
 ("o6" 11 34)
 ("o1" 19 34)
 ("o7" 19 34)
 ("o3" 1 35)
 ("o10" 18 36)
 ("o8" 34 39)
 ("o7" 35 39)
 ("o9" 30 40)
 ("o11" 6 43)
 ("o14" 30 43)
 ("u2" 40 43)
 ("o8" 40 45)
 ("o7" 48 50)
 ("o11" 45 51)
 ("o4" 23 59)
 ("o7" 54 59)
 ("u1" 15 63)
 ("o5" 37 63)
 ("o4" 60 64)
 ("o7" 67 68)
 ("o15" 41 70)
 ("u2" 68 70)
 ("o2" 44 71)
 ("o7" 73 75)
 ("o13" 39 76)
 ("o6" 44 78)
 ("o11" 52 81)
 ("o9" 41 86)
 ("o7" 83 86)
 ("o3" 40 88)
 ("o15" 71 93)
 ("o14" 64 95)
 ("o4" 87 95)
 ("o7" 91 95)
 ("o8" 86 99)
 ("o2" 75 106)
 ("u1" 64 110)
 ("o10" 75 113)
 ("o11" 86 115)
 ("o5" 97 119)
 ("u3" 53 134)
 ("o12" 86 146)
))
(41
 (
 ("o8" 8 16)
 ("u2" 17 20)
 ("o5" 23 24)
 ("o15" 7 29)
 ("o12" 29 32)
 ("o8" 29 32)
 ("o2" 11 34)
 ("o6" 12 35)
 ("o1" 20 35)
 ("o7" 20 35)
 ("o3" 2 36)
 ("o10" 19 37)
 ("o13" 21 39)
 ("o9" 34 41)
 ("o14" 31 44)
 ("u2" 41 44)
 ("o7" 38 45)
 ("o8" 41 46)
 ("o11" 46 52)
 ("o4" 24 60)
 ("u1" 16 64)
 ("u3" 53 67)
 ("o15" 42 71)
 ("o2" 45 72)
 ("o13" 40 77)
 ("o6" 47 81)
 ("o9" 42 87)
 ("o3" 41 89)
 ("o7" 90 99)
 ("o5" 43 102)
 ("o8" 52 106)
 ("o4" 61 109)
 ("o10" 76 113)
 ("u2" 111 132)
 ("u1" 88 137)
 ("o2" 73 139)
 ("o14" 45 144)
 ("o9" 112 164)
 ("o3" 98 168)
 ("o12" 79 172)
 ("o15" 93 181)
))
(42
 (
 ("o2" 3 7)
 ("o8" 6 14)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("u2" 33 36)
 ("o2" 33 37)
 ("o3" 35 38)
 ("o9" 18 39)
 ("o14" 29 42)
 ("u2" 39 42)
 ("o2" 40 42)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o11" 51 66)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o2" 71 72)
 ("o13" 38 75)
 ("o2" 74 75)
 ("o2" 77 78)
 ("o2" 80 81)
 ("o9" 40 85)
 ("o2" 82 85)
 ("o3" 39 87)
 ("o2" 86 89)
 ("o2" 90 92)
 ("u2" 90 94)
 ("o2" 94 97)
 ("o6" 34 102)
 ("o13" 83 102)
 ("o2" 101 104)
 ("o2" 105 106)
 ("o12" 40 109)
 ("o2" 109 111)
 ("o15" 70 114)
 ("o3" 88 117)
 ("o7" 98 124)
 ("o1" 71 128)
 ("o8" 63 134)
 ("u1" 74 156)
 ("o5" 84 162)
 ("o14" 65 170)
 ("o10" 108 196)
 ("u3" 107 231)
))
(43
 (
 ("o8" 7 15)
 ("u2" 16 19)
 ("o4" 15 22)
 ("o5" 22 23)
 ("o11" 3 28)
 ("o15" 6 28)
 ("o12" 28 31)
 ("o8" 28 31)
 ("o2" 10 33)
 ("o6" 11 34)
 ("o1" 19 34)
 ("o7" 19 34)
 ("o3" 1 35)
 ("o10" 18 36)
 ("o9" 1 40)
 ("o15" 35 40)
 ("o14" 30 43)
 ("u2" 40 43)
 ("o11" 30 44)
 ("o8" 40 45)
 ("o11" 45 51)
 ("o4" 23 59)
 ("u1" 15 63)
 ("o15" 41 70)
 ("o2" 44 71)
 ("o11" 52 74)
 ("o13" 39 76)
 ("u3" 63 78)
 ("o9" 41 86)
 ("o3" 40 88)
 ("u1" 64 91)
 ("o3" 89 91)
 ("o14" 75 94)
 ("u2" 62 96)
 ("o5" 63 97)
 ("o10" 51 99)
 ("o11" 76 99)
 ("o12" 91 102)
 ("o4" 71 106)
 ("o13" 77 108)
 ("o7" 39 113)
 ("o11" 101 115)
 ("o1" 94 132)
 ("o15" 103 143)
 ("o8" 85 171)
 ("o6" 71 181)
 ("o9" 89 181)
 ("o2" 101 197)
))
(44
 (
 ("o8" 6 14)
 ("u2" 15 18)
 ("o5" 21 22)
 ("o8" 15 26)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o13" 15 37)
 ("u2" 26 38)
 ("o3" 35 38)
 ("o9" 21 39)
 ("o11" 2 41)
 ("o14" 29 42)
 ("o2" 33 42)
 ("u2" 39 42)
 ("o11" 42 43)
 ("o8" 39 44)
 ("u3" 40 49)
 ("o11" 44 50)
 ("o5" 44 52)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("u1" 67 82)
 ("o9" 40 85)
 ("o6" 58 85)
 ("o3" 39 87)
 ("o7" 71 88)
 ("o3" 88 91)
 ("o4" 59 102)
 ("o14" 43 116)
 ("o1" 69 133)
))
(45
 (
 ("o1" 5 11)
 ("o8" 6 14)
 ("o11" 1 16)
 ("o7" 15 17)
 ("u2" 15 18)
 ("o5" 2 20)
 ("o5" 21 22)
 ("o8" 20 26)
 ("o15" 5 27)
 ("o12" 27 30)
 ("o8" 27 30)
 ("o11" 17 31)
 ("o13" 30 31)
 ("o2" 9 32)
 ("o6" 10 33)
 ("o1" 18 33)
 ("o7" 18 33)
 ("o3" 0 34)
 ("o10" 17 35)
 ("o9" 19 39)
 ("o14" 29 42)
 ("o2" 33 42)
 ("u2" 39 42)
 ("o11" 32 43)
 ("o1" 36 43)
 ("o8" 39 44)
 ("o11" 44 50)
 ("o1" 47 55)
 ("u3" 29 56)
 ("o4" 22 58)
 ("u1" 14 62)
 ("o11" 54 65)
 ("o1" 58 68)
 ("o15" 40 69)
 ("o2" 43 70)
 ("o13" 38 75)
 ("o11" 66 79)
 ("o1" 76 80)
 ("o6" 49 84)
 ("o9" 40 85)
 ("o3" 39 87)
 ("o11" 80 99)
 ("u3" 81 105)
 ("o14" 61 111)
 ("o7" 74 117)
 ("u1" 63 124)
 ("o15" 70 134)
 ("u2" 64 136)
 ("o12" 73 137)
))
(46
 (
 ("o8" 9 17)
 ("u2" 18 21)
 ("o4" 5 24)
 ("o5" 24 25)
 ("o15" 8 30)
 ("o12" 30 33)
 ("o8" 30 33)
 ("o2" 12 35)
 ("o6" 13 36)
 ("o1" 21 36)
 ("o7" 21 36)
 ("o3" 3 37)
 ("o10" 20 38)
 ("o8" 34 41)
 ("o15" 36 42)
 ("o5" 41 44)
 ("o14" 32 45)
 ("u2" 42 45)
 ("o8" 42 47)
 ("o11" 47 53)
 ("o4" 25 61)
 ("u1" 17 65)
 ("o15" 43 72)
 ("o2" 46 73)
 ("o13" 41 78)
 ("o2" 76 78)
 ("o9" 43 88)
 ("o3" 42 90)
 ("u2" 86 91)
 ("o5" 88 92)
 ("o3" 91 104)
 ("o12" 55 110)
 ("o1" 37 112)
 ("o11" 83 113)
 ("o14" 46 120)
 ("u3" 18 124)
 ("o9" 89 125)
 ("u1" 66 126)
 ("o7" 84 137)
))
(47
 (
 ("o8" 11 19)
 ("u2" 13 19)
 ("u2" 20 23)
 ("o5" 26 27)
 ("o15" 10 32)
 ("o12" 32 35)
 ("o8" 32 35)
 ("o2" 14 37)
 ("o6" 15 38)
 ("o1" 23 38)
 ("o7" 23 38)
 ("o3" 5 39)
 ("o13" 9 40)
 ("o10" 22 40)
 ("u2" 27 43)
 ("o14" 34 47)
 ("u2" 44 47)
 ("o8" 44 49)
 ("o6" 39 53)
 ("o11" 49 55)
 ("u2" 52 62)
 ("o4" 27 63)
 ("u1" 19 67)
 ("u1" 68 73)
 ("o15" 45 74)
 ("o2" 48 75)
 ("o13" 43 80)
 ("o15" 75 82)
 ("o14" 56 85)
 ("u2" 70 86)
 ("o11" 87 89)
 ("o9" 45 90)
 ("o3" 44 92)
 ("o3" 93 94)
 ("u1" 90 96)
 ("o7" 47 98)
 ("o13" 81 102)
 ("o6" 88 108)
 ("o10" 41 109)
 ("o5" 95 112)
 ("u3" 33 117)
 ("o2" 76 129)
 ("o12" 86 131)
 ("o8" 62 150)
 ("o9" 95 155)
 ("o4" 64 160)
))
(48
 (
 ("o2" 8 10)
 ("u1" 9 15)
 ("u2" 2 16)
 ("o8" 8 16)
 ("u2" 17 20)
 ("o5" 23 24)
 ("o8" 21 28)
 ("o15" 7 29)
 ("o14" 6 30)
 ("o12" 29 32)
 ("o8" 29 32)
 ("o2" 11 34)
 ("o6" 12 35)
 ("o1" 20 35)
 ("o7" 20 35)
 ("o3" 2 36)
 ("o10" 19 37)
 ("o13" 2 39)
 ("u2" 22 40)
 ("o14" 31 44)
 ("u2" 41 44)
 ("o11" 1 45)
 ("o8" 41 46)
 ("o11" 46 52)
 ("o6" 50 55)
 ("o4" 24 60)
 ("u1" 16 64)
 ("u1" 65 66)
 ("u2" 45 70)
 ("o15" 42 71)
 ("o2" 45 72)
 ("o13" 40 77)
 ("o12" 33 85)
 ("o9" 42 87)
 ("o3" 41 89)
 ("o7" 79 89)
 ("u2" 73 95)
 ("u3" 15 98)
 ("o1" 61 103)
 ("u1" 78 104)
 ("o13" 78 108)
 ("o5" 28 110)
 ("u2" 96 113)
 ("o14" 61 124)
 ("o9" 88 128)
 ("o4" 61 129)
 ("o3" 90 136)
 ("o2" 82 139)
 ("o11" 81 150)
 ("o10" 66 181)
))
(49
 (
 ("o3" 1 11)
 ("o2" 2 20)
 ("u2" 6 26)
 ("o8" 18 26)
 ("u2" 27 30)
 ("o5" 33 34)
 ("o15" 17 39)
 ("o12" 39 42)
 ("o8" 39 42)
 ("o2" 21 44)
 ("o6" 22 45)
 ("o1" 30 45)
 ("o7" 30 45)
 ("o3" 12 46)
 ("o10" 29 47)
 ("o13" 48 49)
 ("o3" 47 50)
 ("o9" 50 51)
 ("u3" 2 53)
 ("o14" 41 54)
 ("u2" 51 54)
 ("o8" 51 56)
 ("o5" 35 59)
 ("o11" 56 62)
 ("o4" 34 70)
 ("u1" 26 74)
 ("u1" 75 76)
 ("o15" 52 81)
 ("o2" 55 82)
 ("o8" 77 82)
 ("o6" 79 84)
 ("o13" 50 87)
 ("o9" 52 97)
 ("o3" 51 99)
 ("o3" 100 102)
 ("o5" 83 103)
 ("o4" 92 104)
 ("u3" 54 106)
 ("o12" 86 118)
 ("o15" 82 119)
 ("o1" 70 130)
 ("o7" 77 135)
 ("u2" 93 152)
 ("o2" 83 161)
 ("o10" 62 164)
 ("o11" 63 179)
))
